Irrationality via the Hypergeometric method
نویسنده
چکیده
In this paper, we describe how the hypergeometric method of Thue and Siegel may be applied to questions of irrationality. As a consequence of our approach, we provide a somewhat simple proof of a classical theorem of Ljunggren to the effect that the Diophantine equation x^ — 2y' = — 1 has only the solutions {x,y) = (1,1) and {x,y) = (239,13) in positive integers. Mathematics Subject Classification 2000: 11D25
منابع مشابه
A Hypergeometric Approach, Via Linear Forms Involving Logarithms, to Irrationality Criteria for Euler’s Constant
Using a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler’s constant, γ. The proof is by reduction to earlier criteria involving a Beukers-type double integral. We employ a method for constructing linear forms in 1, γ and logarithms from rational functions, via Nesterenko-type series.
متن کاملA Hypergeometric Approach, via Linear Forms Involving Logarithms, to Criteria for Irrationality of Euler’s Constant
Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler’s constant γ. The proof is by reduction to known irrationality criteria for γ involving a Beukers-type double integral. We show that the hypergeometric and double integrals are equal by evaluating them. To do this, we introduce a construction of linear forms in 1, γ, and logari...
متن کاملOn the irrationality measure for a q-analogue of ζ(2)
A Liouville-type estimate is proved for the irrationality measure of the quantities ζq(2) = ∞ ∑ n=1 q (1− qn)2 with q−1 ∈ Z \ {0,±1}. The proof is based on the application of a q-analogue of the arithmetic method developed by Chudnovsky, Rukhadze, and Hata and of the transformation group for hypergeometric series — the group-structure approach introduced by Rhin and Viola. Bibliography: 21 titl...
متن کاملAn Elementary Proof of the Irrationality of Tschakaloff Series
We present a new proof of the irrationality of values of the series Tq(z) = ∑∞ n=0 z nq−n(n−1)/2 in both qualitative and quantitative forms. The proof is based on a hypergeometric construction of rational approximations to Tq(z).
متن کاملWell-poised Hypergeometric Transformations of Euler-type Multiple Integrals
Several new multiple-integral representations are proved for well-poised hypergeometric series and integrals. The results yield, in particular, transformations of the multiple integrals that cannot be achieved by evident changes of variable. All this generalizes some classical results of Whipple and Bailey in analysis and, on the other hand, certain analytic constructions with known connection ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008